263 research outputs found

    Logics of Finite Hankel Rank

    Full text link
    We discuss the Feferman-Vaught Theorem in the setting of abstract model theory for finite structures. We look at sum-like and product-like binary operations on finite structures and their Hankel matrices. We show the connection between Hankel matrices and the Feferman-Vaught Theorem. The largest logic known to satisfy a Feferman-Vaught Theorem for product-like operations is CFOL, first order logic with modular counting quantifiers. For sum-like operations it is CMSOL, the corresponding monadic second order logic. We discuss whether there are maximal logics satisfying Feferman-Vaught Theorems for finite structures.Comment: Appeared in YuriFest 2015, held in honor of Yuri Gurevich's 75th birthday. The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-319-23534-9_1

    A synthetic electric force acting on neutral atoms

    Full text link
    Electromagnetism is a simple example of a gauge theory where the underlying potentials -- the vector and scalar potentials -- are defined only up to a gauge choice. The vector potential generates magnetic fields through its spatial variation and electric fields through its time-dependence. We experimentally produce a synthetic gauge field that emerges only at low energy in a rubidium Bose-Einstein condensate: the neutral atoms behave as charged particles do in the presence of a homogeneous effective vector potential. We have generated a synthetic electric field through the time dependence of an effective vector potential, a physical consequence even though the vector potential is spatially uniform

    Comparative adherence and persistence of single- and multiple-inhaler triple therapies among patients with chronic obstructive pulmonary disease in an English real-world primary care setting.

    Get PDF
    This is the final version. Available from Dove Press via the DOI in this record. Data Sharing Statement: The data analyzed in this publication are derived from the Clinical Practice Research Datalink (www.cprd.com) and Hospital Episode Statistics database (https://digital.nhs.uk/data-and-information/data-tools-and-services/data-services/hospital-episodestatistics). Authors had access to the study data for the purposes of this work only. Data were accessed through an existing GSK license to address the prespecified research questions only. Therefore, the data cannot be broadly disclosed or made publicly available at this time. Access to each database can be requested via the respective websites.PURPOSE: Triple therapy comprising a long-acting muscarinic antagonist, long-acting β2-agonist and inhaled corticosteroid is recommended for patients with chronic obstructive pulmonary disease (COPD) who continue to experience frequent exacerbations or symptoms whilst receiving dual therapy. Adherence and persistence to multiple-inhaler triple therapy (MITT) is known to be poor. This study assessed comparative adherence to single-inhaler triple therapy (SITT) versus MITT in a real-world setting in England. PATIENTS AND METHODS: This was a retrospective cohort study using linked primary care (Clinical Practice Research Datalink Aurum) and secondary care (Hospital Episode Statistics [HES] Admitted Patient Care) data to identify patients with COPD who were newly initiated on SITT or MITT between November 2017 and June 2019. Eligible patients were aged ≥35 years and had a forced expiratory volume in 1 second/forced vital capacity 30 days between the end of a prescription and the following refill used to determine non-persistence. RESULTS: Overall, 4080 SITT and 6579 MITT users comprised the study cohort. After weighting, the baseline characteristics between the cohorts were comparable (absolute standardized mean difference <10%). SITT users had significantly higher adherence than MITT users at 6, 12, and 18 months post-initiation (p<0.001 for all comparisons). Median persistence was higher among SITT users than MITT users (5.09 months vs 0.99 months). CONCLUSION: Patients with COPD in England initiating SITT had significantly better adherence and persistence compared with MITT initiators. These improvements continued at least 18 months following treatment initiation.GlaxoSmithKlei

    Prime movers : mechanochemistry of mitotic kinesins

    Get PDF
    Mitotic spindles are self-organizing protein machines that harness teams of multiple force generators to drive chromosome segregation. Kinesins are key members of these force-generating teams. Different kinesins walk directionally along dynamic microtubules, anchor, crosslink, align and sort microtubules into polarized bundles, and influence microtubule dynamics by interacting with microtubule tips. The mechanochemical mechanisms of these kinesins are specialized to enable each type to make a specific contribution to spindle self-organization and chromosome segregation

    A Spontaneous Mutation in Contactin 1 in the Mouse

    Get PDF
    Mutations in the gene encoding the immunoglobulin-superfamily member cell adhesion molecule contactin1 (CNTN1) cause lethal congenital myopathy in human patients and neurodevelopmental phenotypes in knockout mice. Whether the mutant mice provide an accurate model of the human disease is unclear; resolving this will require additional functional tests of the neuromuscular system and examination of Cntn1 mutations on different genetic backgrounds that may influence the phenotype. Toward these ends, we have analyzed a new, spontaneous mutation in the mouse Cntn1 gene that arose in a BALB/c genetic background. The overt phenotype is very similar to the knockout of Cntn1, with affected animals having reduced body weight, a failure to thrive, locomotor abnormalities, and a lifespan of 2–3 weeks. Mice homozygous for the new allele have CNTN1 protein undetectable by western blotting, suggesting that it is a null or very severe hypomorph. In an analysis of neuromuscular function, neuromuscular junctions had normal morphology, consistent with previous studies in knockout mice, and the muscles were able to generate appropriate force when normalized for their reduced size in late stage animals. Therefore, the Cntn1 mutant mice do not show evidence for a myopathy, but instead the phenotype is likely to be caused by dysfunction in the nervous system. Given the similarity of CNTN1 to other Ig-superfamily proteins such as DSCAMs, we also characterized the expression and localization of Cntn1 in the retinas of mutant mice for developmental defects. Despite widespread expression, no anomalies in retinal anatomy were detected histologically or using a battery of cell-type specific antibodies. We therefore conclude that the phenotype of the Cntn1 mice arises from dysfunction in the brain, spinal cord or peripheral nervous system, and is similar in either a BALB/c or B6;129;Black Swiss background, raising a possible discordance between the mouse and human phenotypes resulting from Cntn1 mutations

    Phylogeny and evolution of life-history strategies in the Sycophaginae non-pollinating fig wasps (Hymenoptera, Chalcidoidea)

    Get PDF
    <p>Abstract</p> <p>Background</p> <p>Non-pollinating Sycophaginae (Hymenoptera, Chalcidoidea) form small communities within <it>Urostigma </it>and <it>Sycomorus </it>fig trees. The species show differences in galling habits and exhibit apterous, winged or dimorphic males. The large gall inducers oviposit early in syconium development and lay few eggs; the small gall inducers lay more eggs soon after pollination; the ostiolar gall-inducers enter the syconium to oviposit and the cleptoparasites oviposit in galls induced by other fig wasps. The systematics of the group remains unclear and only one phylogeny based on limited sampling has been published to date. Here we present an expanded phylogeny for sycophagine fig wasps including about 1.5 times the number of described species. We sequenced mitochondrial and nuclear markers (4.2 kb) on 73 species and 145 individuals and conducted maximum likelihood and Bayesian phylogenetic analyses. We then used this phylogeny to reconstruct the evolution of Sycophaginae life-history strategies and test if the presence of winged males and small brood size may be correlated.</p> <p>Results</p> <p>The resulting trees are well resolved and strongly supported. With the exception of <it>Apocrytophagus</it>, which is paraphyletic with respect to <it>Sycophaga</it>, all genera are monophyletic. The Sycophaginae are divided into three clades: (i) <it>Eukoebelea</it>; (ii) <it>Pseudidarnes</it>, <it>Anidarnes </it>and <it>Conidarnes </it>and (iii) <it>Apocryptophagus</it>, <it>Sycophaga </it>and <it>Idarnes</it>. The ancestral states for galling habits and male morphology remain ambiguous and our reconstructions show that the two traits are evolutionary labile.</p> <p>Conclusions</p> <p>The three main clades could be considered as tribes and we list some morphological characters that define them. The same biologies re-evolved several times independently, which make Sycophaginae an interesting model to test predictions on what factors will canalize the evolution of a particular biology. The ostiolar gall-inducers are the only monophyletic group. In 15 Myr, they evolved several morphological adaptations to enter the syconia that make them strongly divergent from their sister taxa. Sycophaginae appears to be another example where sexual selection on male mating opportunities favored winged males in species with small broods and wingless males in species with large broods. However, some species are exceptional in that they lay few eggs but exhibit apterous males, which we hypothesize could be due to other selective pressures selecting against the re-appearance of winged morphs.</p

    Temperature, recreational fishing and diapause egg connections : dispersal of spiny water fleas (Bythotrephes longimanus)

    Get PDF
    © The Author(s), 2011. This article is distributed under the terms of the Creative Commons Attribution Noncommercial License. The definitive version was published in Biological Invasions 13 (2011): 2513-2531, doi:10.1007/s10530-011-0078-8.The spiny water flea (Bythotrephes longimanus) is spreading from Great Lakes coastal waters into northern inland lakes within a northern temperature-defined latitudinal band. Colonization of Great Lakes coastal embayments is assisted by winds and seiche surges, yet rapid inland expansion across the northern states comes through an overland process. The lack of invasions at Isle Royale National Park contrasts with rapid expansion on the nearby Keweenaw Peninsula. Both regions have comparable geology, lake density, and fauna, but differ in recreational fishing boat access, visitation, and containment measures. Tail spines protect Bythotrephes against young of the year, but not larger fish, yet the unusual thick-shelled diapausing eggs can pass through fish guts in viable condition. Sediment traps illustrate how fish spread diapausing eggs across lakes in fecal pellets. Trillions of diapausing eggs are produced per year in Lake Michigan and billions per year in Lake Michigamme, a large inland lake. Dispersal by recreational fishing is linked to use of baitfish, diapausing eggs defecated into live wells and bait buckets, and Bythothephes snagged on fishing line, anchor ropes, and minnow seines. Relatively simple measures, such as on-site rinsing of live wells, restricting transfer of certain baitfish species, or holding baitfish for 24 h (defecation period), should greatly reduce dispersal.Study of Lakes Superior and Michigan was funded from NSF OCE-9726680 and OCE-9712872 to W.C.K., OCE-9712889 to J. Churchill. Geographic survey sampling and Park studies in the national parks during 2008-2010 were funded by a grant from the National Park Service Natural Resource Preservation Program GLNF CESU Task Agreement No. J6067080012

    Review of the literature and suggestions for the design of rodent survival studies for the identification of compounds that increase health and life span

    Get PDF
    Much of the literature describing the search for agents that increase the life span of rodents was found to suffer from confounds. One-hundred-six studies, absent 20 contradictory melatonin studies, of compounds or combinations of compounds were reviewed. Only six studies reported both life span extension and food consumption data, thereby excluding the potential effects of caloric restriction. Six other studies reported life span extension without a change in body weight. However, weight can be an unreliable surrogate measure of caloric consumption. Twenty studies reported that food consumption or weight was unchanged, but it was unclear whether these data were anecdotal or systematic. Twenty-nine reported extended life span likely due to induced caloric restriction. Thirty-six studies reported no effect on life span, and three a decrease. The remaining studies suffer from more serious confounds. Though still widely cited, studies showing life span extension using short-lived or “enfeebled” rodents have not been shown to predict longevity effects in long-lived animals. We suggest improvements in experimental design that will enhance the reliability of the rodent life span literature. First, animals should receive measured quantities of food and its consumption monitored, preferably daily, and reported. Weights should be measured regularly and reported. Second, a genetically heterogeneous, long-lived rodent should be utilized. Third, chemically defined diets should be used. Fourth, a positive control (e.g., a calorically restricted group) is highly desirable. Fifth, drug dosages should be chosen based on surrogate endpoints or accepted cross-species scaling factors. These procedures should improve the reliability of the scientific literature and accelerate the identification of longevity and health span-enhancing agents

    Potential range of impact of an ecological trap network: the case of timber stacks and the Rosalia longicorn

    Get PDF
    Although the negative impact of timber stacks on populations of saproxylic beetles is a well-known phenomenon, there is relatively little data concerning the scale of this impact and its spatial aspect. Beech timber stored in the vicinity of the forest can act as an ecological trap for the Rosalia longicorn (Rosalia alpina), so in this study we have attempted to determine the spatial range of the impact of a network of timber stacks. Timber stacks in the species’ range in the study area were listed and monitored during the adult emergence period in 2014–2016. Based on published data relating to the species’ dispersal capabilities, buffers of four radii (500, 1000, 1600, 3000 m) were delineated around the stacks and the calculated ranges of potential impact. The results show that the percentage of currently known localities of the Rosalia longicorn impacted by stacks varies from 19.7 to 81.6%, depending on the assumed impact radius. The percentage of forest influenced by timber stacks was 77% for the largest-radius buffer. The overall impact of the ecological trap network is accelerated by fragmentation of the impact-free area. It was also found that forests situated close to the timber stacks where the Rosalia longicorn was recorded were older and more homogeneous in age and species composition than those around stacks where the species was absent. Such results suggest that timber stacks act as an ecological trap in the source area of the local population

    Effects of methylphenidate on attention in Wistar rats treated with the neurotoxin N-(2-chloroethyl)-N-ethyl-2-bromobenzylamine (DSP4)

    Get PDF
    The aim of this study was to assess the effects of the neurotoxin N-(2-chloroethyl)-N-ethyl-2-bromobenzylamine (DSP4) on attention in rats as measured using the 5-choice-serial-reaction-time task (5CSRTT) and to investigate whether methylphenidate has effects on DSP4-treated rats. Methylphenidate is a noradrenaline and dopamine reuptake inhibitor and commonly used in the pharmacological treatment of individuals with attention deficit/hyperactivity disorder (ADHD). Wistar rats were trained in the 5CSRTT and treated with one of three doses of DSP4 or saline. Following the DSP4 treatment rats were injected with three doses of methylphenidate or saline and again tested in the 5CSRTT. The treatment with DSP4 caused a significant decline of performance in the number of correct responses and a decrease in response accuracy. A reduction in activity could also be observed. Whether or not the cognitive impairments are due to attention deficits or changes in explorative behaviour or activity remains to be investigated. The treatment with methylphenidate had no beneficial effect on the rats’ performance regardless of the DSP4 treatment. In the group without DSP4 treatment, methylphenidate led to a reduction in response accuracy and bidirectional effects in regard to parameters related to attention. These findings support the role of noradrenaline in modulating attention and call for further investigations concerning the effects of methylphenidate on attentional processes in rats
    corecore